Object theory

Results: 981



#Item
341Object-oriented programming / Data types / Type theory / Cross-platform software / Abstract data types / Object / C++ / Class / Generic programming / Software engineering / Computing / Computer programming

The GNU C++ Library Doug Lea SUNY Oswego & NY CASE Center DRAFT The GNU C++ library (libg++) was among the rst widely available general-purpose C++ class libraries. Some classes were designed and implemented as early as

Add to Reading List

Source URL: gee.cs.oswego.edu

Language: English - Date: 2000-01-18 10:00:28
342Technology forecasting / Prediction / Delphi programming language / Futurology / Delphi method / Estimation theory / Delphi Automotive / Delphi / Object Pascal / Anticipatory thinking / Time / Future

© 2002 Murray Turoff and Harold A. Linstone III.C. 1. Delphi Research in the Corporate Environment LAWRENCE H. DAY Introduction

Add to Reading List

Source URL: is.njit.edu

Language: English - Date: 2002-10-15 12:59:45
343Software engineering / Computing / Computer science / Liskov substitution principle / Object-oriented programming / Type theory

On Context-Specific Substitutability of Web Services Jyotishman Pathak Samik Basu Vasant Honavar Department of Computer Science Iowa State University, Ames, IA, USA

Add to Reading List

Source URL: www.cs.iastate.edu

Language: English - Date: 2007-10-07 21:30:51
344Data types / Type theory / Object-oriented programming / Model theory / C++ / Type safety / Type system / Denotational semantics / Subtype polymorphism / Software engineering / Computing / Programming language theory

Semantic Foundations for Typed Assembly Languages AMAL AHMED, ANDREW W. APPEL, CHRISTOPHER D. RICHARDS, KEDAR N. SWADI, GANG TAN, and DANIEL C. WANG Princeton University

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2009-06-25 20:03:38
345Type theory / Object-oriented programming / Data types / Type system / Ruby / Objective-C / Dynamic dispatch / Method / Variable / Software engineering / Computing / Computer programming

STATIC ANALYSIS FOR RUBY IN THE PRESENCE OF GRADUAL TYPING MICHAEL JOSEPH EDGAR Department of Computer Science

Add to Reading List

Source URL: www.cs.dartmouth.edu

Language: English - Date: 2013-12-23 16:46:44
346Design / Architectural theory / Software design patterns / Software development / Object-oriented programming / Pattern language / Software design / Pattern / Christopher Alexander / Visual arts / Software engineering / Architecture

Christopher Alexander: An Introduction for Object-Oriented Designers Doug Lea SUNY Oswego / NY CASE Center Software developers lament \If only software engi", where X is any

Add to Reading List

Source URL: gee.cs.oswego.edu

Language: English - Date: 2000-01-18 10:00:33
347Object-oriented programming / Data types / Type theory / Cross-platform software / Method / Objective-C / Object / Polymorphism / C++ / Software engineering / Computing / Computer programming

Typed compilation of objects Christopher League 6 November 2003 Stevens Institute of Technology

Add to Reading List

Source URL: contrapunctus.net

Language: English - Date: 2012-03-13 13:00:13
348Type theory / Object-oriented programming / Data types / Method / Scripting languages / Type system / Ruby / Type inference / Constructor / Software engineering / Computing / Computer programming

Static Type Inference for Ruby Michael Furr Jong-hoon (David) An Jeffrey S. Foster

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2009-11-19 15:40:36
349Object-oriented programming / Type theory / Data types / Cross-platform software / Functional programming / Java / Virtual method table / Type system / Pointer / Software engineering / Computing / Computer programming

Precision in Practice: A Type-Preserving Java Compiler? Christopher League1 , Zhong Shao2 , and Valery Trifonov2 1 Long Island University · Computer Science

Add to Reading List

Source URL: contrapunctus.net

Language: English - Date: 2012-03-13 13:00:12
350Object-oriented programming / Crowdsourcing / PageRank / Reputation management / Search engine optimization / Graph theory / Object / Google Search / Graph / Software engineering / Computing / Computer programming

Object-Level Ranking: Bringing Order to Web Objects Zaiqing Nie1 Yuanzhi Zhang2∗ 1

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2005-03-09 22:40:07
UPDATE